Sums of Lattices and a Relational Category
نویسنده
چکیده
We introduce a new relational category of lattices, and an analogous category of complete lattices. These categories allow us to construct sums of (complete) lattices. While previous constructions used two functors (or, for complete lattices, a single functor that had an adjoint), we need only a single functor (and no additional property when complete lattices are considered). In the finite case, the present construction is easy to visualize.
منابع مشابه
Distributive lattices with strong endomorphism kernel property as direct sums
Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem 2.8}). We shall determine the structure of special elements (which are introduced after Theorem 2.8 under the name strong elements) and show that these lattices can be considered as a direct product of ...
متن کاملAn equivalence functor between local vector lattices and vector lattices
We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-...
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملA Pseudo Representation Theoremfor Various Categories of Relationsm
It is well-known that, given a Dedekind category R the category of (typed) matrices with coeecients from R is a Dedekind category with arbitrary relational sums. In this paper we show that under slightly stronger assumptions the converse is also true. Every atomic Dedekind category R with relational sums and subobjects is equivalent to a category of matrices over a suitable basis. This basis is...
متن کاملA Pseudo Representation Theorem for Various Categories of Relations
It is well-known that, given a Dedekind categoryR the category of (typed) matrices with coefficients from R is a Dedekind category with arbitrary relational sums. In this paper we show that under slightly stronger assumptions the converse is also true. Every atomic Dedekind category R with relational sums and subobjects is equivalent to a category of matrices over a suitable basis. This basis i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Order
دوره 26 شماره
صفحات -
تاریخ انتشار 2009